Constraint-Based Concurrency and Beyond

A Close Look at Constraint-Based Concurrency

Concurrency and Concurrent Constraint Programming

The intent of this paper is to provide the basic ideas and the possible alternatives underlying the task of giving a semantics to a concurrent system/language, and to describe a particular approach which makes some speciic choices in order to give a semantics to the class of CC languages. In particular, we will discuss how to handle the issues of concurrency and nondeterminism, and we will exam...

Concurrency and Replica Control for Constraint-Based Database Caching

Efficient and dynamic reallocation of data is a major challenge of distributed data management, because current solutions require constant monitoring and manual adjustment. In contrast, future solutions should provide autonomic mechanisms to achieve self-tuning and exhibit high degrees of flexibility and availability. Constraint-based database caching (CbDBC) is one of the most ambitious approa...

Constraint Solving for Diagnosing Concurrency Bugs

Integrating Constraint Management and Concurrency Control in Distributed Databases

Chimera is a novel database language jointly designed by researchers at Politecnico di Milano, Bonn University, and ECRC of Munich in the context of the Esprit Project P6333, IDEA. Chimera integrates an object-oriented data model, a declarative query language based on deductive rules, and an active rule language for reactive processing. In this paper, we present the authors’ proposal for constr...